Fiore COGS Univ . of Sussex Gordon Plotkin LFCS Univ . of Edinburgh Daniele Turi ∗ LFCS Univ . of Edinburgh
نویسندگان
چکیده
Syntax and Variable Binding (Extended Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi∗ LFCS Univ. of Edinburgh
منابع مشابه
Abstract Syntax and Variable Binding
Syntax and Variable Binding (Extended Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh
متن کاملSyntax and Variable Binding
Syntax and Variable Binding (Extended Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi∗ LFCS Univ. of Edinburgh
متن کاملSimulating the joint evolution of quasars, galaxies and their large-scale distribution
X iv :a st ro -p h/ 05 04 09 7 v2 6 A pr 2 00 5 Simulating the joint evolution of quasars, galaxies and their large-scale distribution Volker Springel1, Simon D. M. White1, Adrian Jenkins2, Carlos S. Frenk2, Naoki Yoshida3, Liang Gao1, Julio Navarro4, Robert Thacker5, Darren Croton1, John Helly2, John A. Peacock6, Shaun Cole2, Peter Thomas7, Hugh Couchman5, August Evrard8, Jörg Colberg9 & Fraze...
متن کاملNon-perturbative improvement of operators with Wilson fermions
C. Dawson, G. Martinelli, G.C. Rossi, C.T. Sachrajda, S. Sharpe, M. Talevi and M. Testa Dept. of Physics, Univ. of Southampton, Southampton SO17 1BJ, UK Dip. di Fisica, Univ. di Roma \La Sapienza", P.le A. Moro 2, I-00185 Roma, Italy Dip. di Fisica, Univ. di Roma \Tor Vergata", Via della Ricerca Scienti ca 1, I-00133 Roma, Italy Physics Dept., Univ. of Washington, Seattle WA 98195, USA Dept. of...
متن کاملNon-Perturbative Renormalization of Lattice Four-Fermion Operators without Power Subtractions
Non-Perturbative Renormalization of Lattice Four-Fermion Operators without Power Subtractions A. Donini, V. Giménez, G. Martinelli, M. Talevi, A. Vladikas a Dip. di Fisica, Univ. di Roma “La Sapienza” and INFN, Sezione di Roma, P.le A. Moro 2, I-00185 Roma, Italy. b Dep. de Fisica Teorica and IFIC, Univ. de Valencia, Dr. Moliner 50, E-46100, Burjassot, Valencia, Spain c Department of Physics & ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000